Wyniki
-
A logic analysis of philosophical arguments based on Leibniz's principle of the sufficient reason of existence
Edward Nieznański
Bulletin of the Section of Logic , 12 /4 (1983) s. 188-193 -
Elements of Modal Theodicy
Edward Nieznański
Bulletin of the Section of Logic , 37 /3-4 (2008) s. 253-264 -
Modal Sense of the Classical Concepts Reason for the Existence of Beings
Edward Nieznański
Bulletin of the Section of Logic , 43 /1-2 (2014) s. 73-98 -
Hermes Algebras
George Weaver, Edward Thompson
Bulletin of the Section of Logic , 31 /4 (2002) s. 217-229 -
Proof Compression and NP versus PSPACE II
Lew Gordeev, Edward Hermann Haeusler
Bulletin of the Section of Logic , 49 /3 (2020) s. 213-230 -
A Natural Deduction System for CTL
Christian J. Renteria, Edward Hermann Haeusler
Bulletin of the Section of Logic , 31 /4 (2002) s. 231-240 -
An infinitary extension of MALL-
Luiz Carlos P.D. Pereira, Edward Hermann Haeusler
Bulletin of the Section of Logic , 28 /4 (1999) s. 225-233 -
Completeness of an action logic for timed transition Systems
Fernando Naufel do Amaral, Edward Hermann Haeusler
Bulletin of the Section of Logic , 29 /4 (2000) s. 151-159 -
NUL: Natural Deduction for Ultrafilter Logic
Christian J. Renteria, Edward Hermann Haeusler, Paulo A.S. Veloso
Bulletin of the Section of Logic , 32 /4 (2003) s. 191-199